大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

0
索取号：
作者：Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

0
索取号：
作者：Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reliability Engineering [electronic resource] : Theory and Practice

0
索取号：
作者：Birolini、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers

0
索取号：
作者：Nakakoji、 Kumiyo.、Murakami、 Yohei.、McCready、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium

0
索取号：
作者：Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

0
索取号：
作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

0
索取号：
作者：Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Robotics Research [electronic resource] : The 13th International Symposium ISRR

0
索取号：
作者：Kaneko、 Makoto.、Nakamura、 Yoshihiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy

0
索取号：
作者：Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2009. Revised Selected Papers

0
索取号：
作者：Theeramunkong、 Thanaruk.、Nattee、 Cholwich.、Adeodato、 Paulo J. L.、Chawla、 Nitesh.、Christen、 Peter.、Lenca、 Philippe.、Poon、 Josiah.、Williams、 Graham.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010

0
索取号：
作者：Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Nakamatsu、 Kazumi.、Howlett、 Robert J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Chemical Ocular Burns [electronic resource] : New Understanding and Treatments

0
索取号：
作者：Schrage、 Norbert.、Burgher、 Fran莽ois.、Blomet、 J枚el.、Bodson、 Lucien.、Gerard、 Max.、Hall、 Alan.、Josset、 Patrice.、Mathieu、 Laurence.、Merle、 Harold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings

0
索取号：
作者：Atallah、 Mikhail J.、Hopper、 Nicholas J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

0
索取号：
作者：Hanrot、 Guillaume.、Morain、 Fran莽ois.、Thom茅、 Emmanuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.